#ifndef USERPROG_TSS_H
#define USERPROG_TSS_H 
#include "thread.h"

void update_tss_esp(struct task_struct* pthread);
void tss_init();
#endif // 
